Skip to content

Merge multiple parameter lists in resolveOverloaded #11369

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Feb 10, 2021

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Feb 10, 2021

Resolve overloaded does an applicability test which can make use of only a single
type parameter list. When going deeper into several alternatives that contain a common
prefex we might uncover other type parameter lists. These need to be merged.

Resolve overloaded does an applicability test which can make use of only a single
type parameter list. When going deeper into several alternatives that contain a common
prefex we might uncover other type parameter lists. These need to be merged.
@odersky odersky linked an issue Feb 10, 2021 that may be closed by this pull request
Copy link
Contributor

@nicolasstucki nicolasstucki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Works on #11354

Support all combinations of explicit vs inferred type parameters
in overloaded variants with multiple type parameter lists.
@odersky odersky merged commit 6fe5f8e into scala:master Feb 10, 2021
@odersky odersky deleted the fix-11358 branch February 10, 2021 18:27
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Cannot fully construct extension method for IArray
3 participants